Marvin : macro-actions from reduced versions of the instance

Marvin is a forward-chaining heuristic-search planner. The basic search strategy used is similar to FF's enforced hill-climbing with helpful actions (Hoffmann and Nebel 2001); Marvin extends this strategy, adding extra features to the search and preprocessing steps to infer information from the domain

On the inference and management of macro-actions in forward-chaining planning

In this paper we discuss techniques for online generation of macro-actions as part of the planning process and demonstrate their use in a forward chaining search planning framework. The macroactions learnt are specifically created at places in the search space where the heuristic is not informative. We present results to show that using macro-actions generated during planning can improve planning performance

Functional Analysis of Ing1 and Ing4 in Cell Growth and Tumorigenesis: a Dissertation

The five member Inhibitor of Growth (ING) gene family has been proposed to participate in the regulation of cell growth, DNA repair, inflammation, chromatin remodeling, and tumor suppression. All ING proteins contain a PHD motif implicated in binding to methylated histones and are components of large chromatin remodeling complexes containing histone acetyltransferase (HAT) and histone deacetylase (HDAC) enzymes, suggesting a role for ING proteins in regulating gene transcription. Additionally, forced overexpression studies performed in vitro have indicated that several ING proteins can interact with the p53 tumor suppressor protein and/or the NF-кB protein complex. Since these two proteins play well-established roles in numerous biological processes, several models have been proposed in the literature that ING proteins act as key regulators of cell growth and tumor suppression not only through their ability to modify gene transcription but also through their ability to alter p53 and NF-кB activity. However, these models have yet to be substantiated by in vivo experimentation. Research described in this dissertation utilizes a genetic approach to analyze the functional role of two ING proteins, Ing1b and Ing4, in regulating cell growth, inflammation, and tumorigenesis. Loss of p37Ing1b increased proliferation and DNA damage-induced apoptosis irrespective of p53 status in primary cells and mice. However, all other p53 responses were unperturbed. Additionally, p37Ing1b suppressed the formation of spontaneous follicular B-cell lymphomas in mice. Analysis of B-cells from these mice indicates that p37Ing1b inhibits the proliferation of B cells regardless of p53 status, and loss of p53 greatly accelerates the rate of B-cell lymphomagenesis in p37Ing1b-null mice, with double null mice presenting with aggressive diffuse large B-cell lymphomas (DLBL). Marker gene analysis in p37Ing1b/p53 null tumors indicates that these mice develop both non-germinal center and germinal center B cell-like DLBL, and also documents upregulation of NF-кB activity in both B-cells and tumors. Similarly, Ing4 -/- mice did not have altered p53 growth arrest or apoptosis, and did not develop spontaneous tumors. However, Ing4 -/- cells displayed reduced proliferation, and Ing4 -/- mice and macrophages were hypersensitive to treatment with LPS and exhibited decreased IкB gene expression and increased NF-кB activity. These studies demonstrate that Ing proteins can function to suppress spontaneous tumorigenesis and/or inflammatory responses without altering p53 activity, and identifies NF-кB as a biologically-relevant in vivo target of Ing1 and Ing4 signaling

Long-Term Survival and Prognostic Factors in Patients with Acute Decompensated Heart Failure According to Ejection Fraction Findings: A Population-Based Perspective: A Master Thesis

Limited data exists describing the long-term prognosis of patients with acute decompensated heart failure (ADHF) further stratified according to currently recommended ejection fraction (EF) findings. In addition, little is known about the magnitude of, and factors associated with, long-term prognosis for these patients. Based on previously validated and clinically relevant criteria, we defined HF-REF as patients with an EF value ≤40%, HF-PEF was defined as an EF value \u3e 50%, and HF-BREF was defined as patients with an EF value during their index hospitalization between 41 and 49%. The hospital medical records of residents of the Worcester (MA) metropolitan area who were discharged after ADHF from all 11 medical centers in central Massachusetts during the 5 study years of 1995, 2000, 2002, 2004, and 2006 were reviewed. Follow-up was completed through 2011 for all patient cohorts. The average age of this population was 75 years, the majority was white, and 44% were men. Patients with HF-PEF experienced higher post discharge survival rates than patients with either HF-REF or HF-BREF at 1, 2, and 5-years after discharge. Advanced age and lower estimated glomerular filtration rate findings at the time of hospital admission were important predictors of 1-year death rates, irrespective of EF findings. Previously diagnosed chronic obstructive pulmonary disease, chronic kidney disease, and atrial fibrillation were associated with a poor prognosis in patients with PEF and REF whereas a history of diabetes was an important prognostic factor for patients with REF and BREF. In conclusion, although improvements in 1-year post-discharge survival were observed for patients in each of the 3 EF groups examined to varying degrees, the post- 7 discharge prognosis of all patients with ADHF remains guarded. In addition, we observed differences in several prognostic factors between patients with ADHF with varying EF findings, which have implications for more refined treatment and surveillance plans for these patients

Cost-Sensitive Concurrent Planning Under Duration Uncertainty for Service-Level Agreements

This paper brings together work in stochastic modelling, using the process algebra PEPA, and work in automated planning. Stochastic modelling has been concerned with verification of system performance metrics for some time: given a model of a system, determining whether it will meet a service-level agreement (SLA). For example, whether a given sequence of transitions on a network will complete within 5 seconds 80% of the time. The problem of deciding how to reconfigure the system most cost-effectively when the SLA cannot be met has not been widely explored: it is currently solved manually. Inspired by this, we consider how planning can be used to automate the configuration of service-oriented systems. Configuring these stochastic systems presents new challenges to planning: building plans that meet SLAs, but also have low cost. To this end, we present a domain-independent planner for planning problems with action costs and stochastic durations, and show how this can be used to solve both traditional planning domains, and within the framework of configuring a larger process algebra model

Quantifying the Topology of Large-Scale Structure

We propose and investigate a new algorithm for quantifying the topological properties of cosmological density fluctuations. We first motivate this algorithm by drawing a formal distinction between two definitions of relevant topological characteristics, based on concepts, on the one hand, from differential topology and, on the other, from integral geometry. The former approach leads one to concentrate on properties of the contour surfaces which, in turn, leads to the algorithms CONTOUR2D and CONTOUR3D familiar to cosmologists. The other approach, which we adopt here, actually leads to much simpler algorithms in both two and three dimensions. (The 2D algorithm has already been introduced to the astronomical literature.) We discuss the 3D case in some detail and compare results obtained with it to analogous results using the CONTOUR3D algorithm.Comment: 10 pages, LaTex using mn.sty, 3 figures available on request from [email protected]; MNRAS, in pres